From: Florian Müllner <fmuellner@gnome.org>
Date: Fri, 29 Jan 2021 23:56:48 +0000 (+0100)
Subject: appDisplay: Remove obsolete property
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~490
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=0064412359ae1089e9a28d409cfd51ed73bbb095;p=gnome-shell.git

appDisplay: Remove obsolete property

Since commit f09fbb19c, all app grids use pagination and the old
property is meaningless.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1611>
---

diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 574b9cd14..2d81a8516 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -117,12 +117,6 @@ function _findBestFolderName(apps) {
 
 var BaseAppView = GObject.registerClass({
     GTypeFlags: GObject.TypeFlags.ABSTRACT,
-    Properties: {
-        'use-pagination': GObject.ParamSpec.boolean(
-            'use-pagination', 'use-pagination', 'use-pagination',
-            GObject.ParamFlags.READWRITE | GObject.ParamFlags.CONSTRUCT_ONLY,
-            false),
-    },
     Signals: {
         'view-loaded': {},
     },